#include "sw_interrupt.h"
#include "os_io.h"

void _raise_sw_interrupt(sw_int_t num, uint32_t data);

bool raise_sw_interrupt(sw_int_t num, uint32_t data)
{

        if (num > MAX_SW_INTERRUPTS)
        {
        	printf("Invalid SW interrupt number: 0x%x\n", num);
        	return FALSE;
        }

	//printf("Raising sw-interrupt 0x%x with data:0x%x\n",num, data);

        _raise_sw_interrupt(num, data);

        return TRUE;
}
